ideals Gröbner Bases for ideals extension fields vector spaces sylow theorems sylow theory